Glue, Underspeci cation and Translation

Gupta and Lamping, 1998] show how linear logic based meaning constructors in the glue language semantics of Dalrymple et al., 1996] can be converted to \almost Horn clause" form using the compilation method of Hepple, 1996]. EEcient linear logic deductions deliver skeleton and modiier resources resembling Underspeciied Discourse Representation Structures (UDRSs Reyle, 1993]). In this paper we present an alternative method: we directly encode UDRT-based semantic representations in linear logic based meaning constructors. The meaning constructors thus obtained are in Horn clause form and deductions are linear in the size of semantic contributions. As an example we show how this encoding can be used advantageously in an ambiguity preserving transfer based machine translation scenario where it avoids the head-switching problem encountered by the otherwise related approach of van Genabith et al., 1998].